Sfoglia per Serie LECTURE NOTES IN COMPUTER SCIENCE
Meaning–Focused and Quantum–Inspired Information Retrieval
2014-01-01 Aerts, Diederik; Broekaert, Jan; Sozzo, Sandro; Veloz, Tomas
Measurability and reproducibility in timetabling research: State-of-the-art and discussion (invited paper)
2006-01-01 Schaerf, Andrea; DI GASPERO, Luca
Measuring Web Accessibility by Estimating Severity of Barriers
2008-01-01 Brajnik, Giorgio
Metaheuristic Algorithms for UAV Trajectory Optimization in Mobile Networks
2023-01-01 Cacchiani, V.; Ceschia, S.; Mignardi, S.; Buratti, C.
Mobile and Ubiquitous Information Access, volume 2954 of Lecture Notes in Computer Science
2004-01-01 F., Crestani; M., Dunlop; Mizzaro, Stefano
Mobile Devices in Emergency Medical Services: User Evaluation of a PDA-based Interface for Ambulance Run Reporting
2007-01-01 Chittaro, Luca; Zuliani, F; Carchietti, E.
Mobility Types in Coq
2004-01-01 Honsell, Furio; Scagnetto, Ivan
Modal logics for Brane Calculus
2006-01-01 Miculan, Marino; Bacci, G.
A Model of Countable Nondeterminism in Guarded Type Theory
2014-01-01 A., Bizjak; L., Birkedal; Miculan, Marino
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing
2003-01-01 Antoniotti, M.; Mishra, B.; Piazza, Carla; Policriti, Alberto; Simeoni, M.
Modeling Content and Expression of Learning Objects in Multimodal Learning Management Systems
2007-01-01 Brajnik, Giorgio
Multi-agent Systems Design and Prototyping with Bigraphical Reactive Systems
2014-01-01 Alessio, Mansutti; Miculan, Marino; Peressotti, Marco
Multi-level net: A visual saliency prediction model
2016-01-01 Cornia, Marcella; Baraldi, Lorenzo; Serra, Giuseppe; Cucchiara, Rita
A Multi-objective Biased Random-Key Genetic Algorithm for the Siting of Emergency Vehicles
2023-01-01 Da Ros, F.; Di Gaspero, L.; La Barbera, D.; Della Mea, V.; Roitero, K.; Deroma, L.; Licata, S.; Valent, F.
Multiple Structure Recovery via Probabilistic Biclustering
2016-01-01 Denitto, M.; Magri, L.; Farinelli, A.; Fusiello, Andrea; Bicego, M.
Multiset Constraints and P Systems
2001-01-01 Dovier, Agostino; Piazza, Carla; Rossi, G.
A natural deduction approach to dynamic logic
1996-01-01 Honsell, Furio; Miculan, Marino
A Navigation and Examination Aid for 3D Virtual Buildings
2005-01-01 Chittaro, Luca; Gatla, V. K.; Venkataraman, S.
Negation as a resource: A novel view on answer set semantics
2013-01-01 Costantini, Stefania; Formisano, Andrea
Neural Networks Reduction via Lumping
2023-01-01 Ressi, D.; Romanello, R.; Piazza, C.; Rossi, S.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile